( ( ( Red rubber tie ) ) ) ( Red rubber tie )